inspector: Allow Escape to cancel picking

diff --git a/gtk/inspector/inspect-button.c b/gtk/inspector/inspect-button.c
index dd21f0dc5a1ce3e3c7ebe23973b318666fd09ac1..db88a8c858777dbabb4f2c7b98007306fe394055 100644 (file)
--- a/gtk/inspector/inspect-button.c
+++ b/gtk/inspector/inspect-button.c
@@ -263,6 +263,8 @@ property_query_event (GtkWidget *widget,
                       GdkEvent  *event,
                       gpointer   data)
 {
+  GtkInspectorWindow *iw = (GtkInspectorWindow *)data;
+
   if (event->type == GDK_BUTTON_RELEASE)
     {
       g_signal_handlers_disconnect_by_func (widget, property_query_event, data);
@@ -274,6 +276,21 @@ property_query_event (GtkWidget *widget,
     {
       on_highlight_widget (widget, event, data);
     }
+  else if (event->type == GDK_KEY_PRESS)
+    {
+      GdkEventKey *ke = (GdkEventKey*)event;
+      GdkDevice *device;
+
+      if (ke->keyval == GDK_KEY_Escape)
+        {
+          g_signal_handlers_disconnect_by_func (widget, property_query_event, data);
+          gtk_grab_remove (widget);
+          device = gdk_device_get_associated_device (gdk_event_get_device (event));
+          gdk_device_ungrab (device, GDK_CURRENT_TIME);
+          gdk_window_raise (gtk_widget_get_window (GTK_WIDGET (iw)));
+          clear_flash (iw);
+        }
+    }
 
   return FALSE;
 }